fun @<caret>

// EXIST: receiver
